#include <stdio.h>
#include "gpio.h"

int main()
{

	while(1)
	{
	redLightON();
	sleep(1);

	yellowLightON();
	sleep(1);

	greenLightON();
	sleep(1);
	 allLightOFF();
	 	sleep(1);
}
}